From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท16h
๐ฒCellular Automata
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐ฆRust Borrowing
Flag this post
Enabling Publishers to Express Preferences for AI Crawlers: An Update on the AIPREF Working Group
ietf.orgยท1d
๐ABNF Parsing
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐ต๏ธVector Smuggling
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท22h
๐Cryptographic Protocols
Flag this post
Never Forget a Thing: Building AI Agents with Hybrid Memory Using Strands Agents
๐พPersistence Strategies
Flag this post
Show HN: I'm building an open source platform for studying Arabic
๐Concatenative Languages
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.comยท2d
๐ฆ Malware Analysis
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Log Parsing
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Olsrt โ OverLab Streams Runtime
๐Linear Types
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Text Parsing
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.orgยท1d
๐Functional Compilers
Flag this post
Loading...Loading more...